现有一个Java源文件，其中包含有一个名为Example的public类，为了成功编译该文件，需要满足：（ ）  A:源文件必须导入java.lang包 B:源文件必须为Example.java C:源文件必须声明一个main()方法 D:源文件必须具有package包语句 答案: 源文件必须为Example.java